St. George Mivart (1827-1900) was a prolific writer on biological evolution and on its relevance to the Christian faith. His initial support for the evolutionary ideas put forward by Charles Darwin and Thomas Huxley would eventually turn into heavy criticism of these same ideas, evident in his 1871 book "On the Genesis of Species". This short paper critically evaluates the origins and development of his thinking that led to this book. It examines his paper "Difficulties of the Theory of Natural (...) Selection", published in 1869, and argues that, even though some of his technical observations about the theory are outdated, some of his philosophical arguments are still relevant today. (shrink)

Hegel's lord-bondsman dialectic has been of especially great interest to progressive and radical Hegelians—broadly speaking, politically left-leaning interpreters of Hegel who object to certain social hierarchies and demand their abolition. They read Hegel as giving an account of how ‘lordship’ over others is an inherently unstable and unsatisfying social formation, even for its supposed beneficiaries. Marxists, feminists and post-colonial theorists have all found inspiration in Hegel's analysis of the lord and bondsman by applying it to concrete relations of oppression, such (...) as capitalism, patriarchy, or racism. In contrast, recent scholarship on Hegel's views on race and colonialism has cast doubt on whether his systematic political philosophy and philosophy of history can be of similar use to progressives. Hegel was undeniably a Eurocentric thinker, but philosophers like Robert Bernasconi and Alison Stone have convincingly shown that he was also a racist and a defender of colonialism. Crucially, however, few of the scholars who write on Hegel's pro-colonialism have analysed this feature of Hegel's thought in connection with the lord-bondsman dialectic. In this article, I argue for two connected theses. First, I argue that contrary to the hopes of some progressive defenders of Hegel, we cannot easily separate the lord-bondsman dialectic from Hegel's pro-colonialism. This is because Hegel himself appealed to the lord-bondsman dialectic to argue that colonial slavery educated its victims, and could therefore be temporarily justified. Second, I argue that this pro-colonial reading of the dialectic, though largely ignored by contemporary interpreters, was in fact recognized and embraced by a group of Hegelians in North America known as the St Louis Hegelians. They used the lord-bondsman dialectic as a basis for a qualified defence of pre-Civil War American slavery. (shrink)

Which rules should guide our reasoning? Human reasoners often use reasoning shortcuts, called heuristics, which function well in some contexts but lack the universality of reasoning rules like deductive implication or inference to the best explanation. Does it follow that human reasoning is hopelessly irrational? I argue: no. Heuristic reasoning often represents human reasoners reaching a local rational maximum, reasoning more accurately than if they try to implement more “ideal” rules of reasoning. I argue this is a genuine rational achievement. (...) Our ideal rational advisors would advise us to reason with heuristic rules, not more complicated ideal rules. I argue we do not need a radical new account of epistemic norms to make sense of the success of heuristic reasoning. (shrink)

Sensitivity has sometimes been thought to be a highly epistemologically significant property, serving as a proxy for a kind of responsiveness to the facts that ensure that the truth of our beliefs isn’t just a lucky coincidence. But it's an imperfect proxy: there are various well-known cases in which sensitivity-based anti-luck conditions return the wrong verdicts. And as a result of these failures, contemporary theorists often dismiss such conditions out of hand. I show here, though, that a sensitivity-based understanding of (...) epistemic luck can be developed that respects what was attractive about sensitivity-based approaches in the first place but that's immune to these failures. (shrink)

A Benacerraf–Field challenge is an argument intended to show that common realist theories of a given domain are untenable: such theories make it impossible to explain how we’ve arrived at the truth in that domain, and insofar as a theory makes our reliability in a domain inexplicable, we must either reject that theory or give up the relevant beliefs. But there’s no consensus about what would count here as a satisfactory explanation of our reliability. It’s sometimes suggested that giving such (...) an explanation would involve showing that our beliefs meet some modal condition, but realists have claimed that this sort of modal interpretation of the challenge deprives it of any force: since the facts in question are metaphysically necessary and so obtain in all possible worlds, it’s trivially easy, even given realism, to show that our beliefs have the relevant modal features. Here I show that this claim is mistaken—what motivates a modal interpretation of the challenge in the first place also motivates an understanding of the relevant features in terms of epistemic possibilities rather than metaphysical possibilities, and there are indeed epistemically possible worlds where the facts in question don’t obtain. (shrink)

Truth by convention, once thought to be the foundation of a uniquely promising approach to explaining our access to the truth in nonempirical domains, is nowadays widely considered an absurdity. Its fall from grace has been due largely to the influence of an argument that can be sketched as follows: our linguistic conventions have the power to make it the case that a sentence expresses a particular proposition, but they can’t by themselves generate truth; whether a given proposition is true—and (...) so whether the sentence that expresses it is true—is a matter of what the world is like, which means it isn’t a matter of convention alone. The consensus is that this argument is decisive against truth by convention. Strikingly, though, it has rarely been formulated with much precision. Here I provide a new rendering of the argument, one that reveals its structure and makes transparent just what assumptions it requires, and then I assess conventionalists’ prospects for resisting each of those assumptions. I conclude that the consensus is mistaken: contrary to what is almost universally thought, there remains a promising way forward for the conventionalist project. Along the way, I clarify conventionalists’ commitments by thinking about what truth by convention would need to be like in order for conventionalism to do the epistemological work it’s intended to do. (shrink)

Recent work by Brian Skyrms offers a very general way to think about how information flows and evolves in biological networks — from the way monkeys in a troop communicate, to the way cells in a body coordinate their actions. A central feature of his account is a way to formally measure the quantity of information contained in the signals in these networks. In this paper, we argue there is a tension between how Skyrms talks of signalling networks and his (...) formal measure of information. Although Skyrms refers to both how information flows through networks and that signals carry information, we show that his formal measure only captures the latter. We then suggest that to capture the notion of flow in signalling networks, we need to treat them as causal networks. This provides the formal tools to define a measure that does capture flow, and we do so by drawing on recent work defining causal specificity. Finally, we suggest that this new measure is crucial if we wish to explain how evolution creates information. For signals to play a role in explaining their own origins and stability, they can’t just carry information about acts: they must be difference-makers for acts. (shrink)

One recent topic of debate in Bayesian epistemology has been the question of whether imprecise credences can be rational. I argue that one account of imprecise credences, the orthodox treatment as defended by James M. Joyce, is untenable. Despite Joyce’s claims to the contrary, a puzzle introduced by Roger White shows that the orthodox account, when paired with Bas C. van Fraassen’s Reflection Principle, can lead to inconsistent beliefs. Proponents of imprecise credences, then, must either provide a compelling reason to (...) reject Reflection or admit that the rational credences in White’s case are precise. (shrink)

The thesis that agents should calibrate their beliefs in the face of higher-order evidence—i.e., should adjust their first-order beliefs in response to evidence suggesting that the reasoning underlying those beliefs is faulty—is sometimes thought to be in tension with Bayesian approaches to belief update: in order to obey Bayesian norms, it’s claimed, agents must remain steadfast in the face of higher-order evidence. But I argue that this claim is incorrect. In particular, I motivate a minimal constraint on a reasonable treatment (...) of the evolution of self-locating beliefs over time and show that calibrationism is compatible with any generalized Bayesian approach that respects this constraint. I then use this result to argue that remaining steadfast isn’t the response to higher-order evidence that maximizes expected accuracy. (shrink)

We argue that the concept of practical wisdom is particularly useful for organizing, understanding, and improving human-machine interactions. We consider the relationship between philosophical analysis of wisdom and psychological research into the development of wisdom. We adopt a practical orientation that suggests a conceptual engineering approach is needed, where philosophical work involves refinement of the concept in response to contributions by engineers and behavioral scientists. The former are tasked with encoding as much wise design as possible into machines themselves, as (...) well as providing sandboxes or workspaces to help various stakeholders build practical wisdom in systems that are sufficiently realistic to aid transferring skills learned to real-world use. The latter are needed for the design of exercises and methods of evaluation within these workspaces, as well as ways of empirically assessing the transfer of wisdom from workspace to world. Systematic interaction between these three disciplines (and others) is the best approach to engineering wisdom for the machine age. (shrink)

Implicit attitudes are mental states posited by psychologists to explain behaviors including implicit racial and gender bias. In this paper I investigate the belief view of the implicit attitudes, on which implicit attitudes are a kind of implicit belief. In particular, I focus on why implicit attitudes, if they are beliefs, are often resistant to updating in light of new evidence. I argue that extant versions of the belief view do not give a satisfactory account of this phenomenon. This is (...) because proponents of the belief view have focused on overly narrow explanations of recalcitrance in terms of belief storage. Expanding the focus of the belief view to the kinds of irrational and arational transitions between beliefs and other mental states provides compelling (if preliminary) explanations of recalcitrance. (shrink)

Hilary Greaves and David Wallace argue that conditionalization maximizes expected accuracy and so is a rational requirement, but their argument presupposes a particular picture of the bridge between rationality and accuracy: the Best-Plan-to-Follow picture. And theorists such as Miriam Schoenfield and Robert Steel argue that it's possible to motivate an alternative picture—the Best-Plan-to-Make picture—that does not vindicate conditionalization. I show that these theorists are mistaken: it turns out that, if an update procedure maximizes expected accuracy on the Best-Plan-to-Follow picture, it's (...) guaranteed to maximize expected accuracy on the Best-Plan-to-Make picture as well, in which case moving from the former to the latter can't help us avoid the conclusion that conditionalization is a rational requirement. If there's a problem with Greaves and Wallace’s argument, it must lie elsewhere. (shrink)

One common attitude toward abstract objects is a kind of platonism: a view on which those objects are mind-independent and causally inert. But there's an epistemological problem here: given any naturalistically respectable understanding of how our minds work, we can't be in any sort of contact with mind-independent, causally inert objects. So platonists, in order to avoid skepticism, tend to endorse epistemological theories on which knowledge is easy, in the sense that it requires no such contact—appeals to Boghossian’s notion of (...) epistemic analyticity are particularly common here, as are appeals to some broadly pragmatic account of the good standing of basic beliefs. I argue, though, that these appeals are hopeless: an argument adapted from the Benacerraf–Field challenge shows that, even if some such theory can deliver the verdict that our beliefs about abstract objects have some prima facie good standing, this good standing will inevitably be defeated. (shrink)

In domains as disparate as playing Go and predicting the structure of proteins, artificial intelligence (AI) technologies have begun to perform at levels beyond which any humans can achieve. Does this fact represent something lamentable? Does superhuman AI performance somehow undermine the value of human achievements in these areas? Go grandmaster Lee Sedol suggested as much when he announced his retirement from professional Go, blaming the advances of Go-playing programs like AlphaGo for sapping his will to play the game at (...) a high level. In this paper, I attempt to make sense of Sedol’s lament. I consider a number of ways that the existence of superhuman-performing AI technologies could undermine the value of human achievements. I argue there is very little in the nature of the technology itself that warrants such despair. (Compare: does the existence of a fighter jet undermine the value of being the fastest human sprinter?) But I also argue there are several more localized domains where these technologies threaten to displace human beings from being able to achieve valuable things at all. This is a particular worry for those in unequal societies, I argue, given the difficulty of many achievements and the corresponding amount of resources needed to achieve great things. (shrink)

The notion of a genetic program has been widely criticized by both biologists and philosophers. But the debate has revolved around a narrow conception of what programs are and how they work, and many criticisms are linked to this same conception. To remedy this, I outline a modern and more apt idea of a program that possesses many of the features critics thought missing from programs. Moving away from over-simplistic conceptions of programs opens the way to a more fruitful interplay (...) of ideas between the complexity of biology and our most complex engineering discipline. (shrink)

On a widespread naturalist view, the meanings of mathematical terms are determined, and can only be determined, by the way we use mathematical language—in particular, by the basic mathematical principles we’re disposed to accept. But it’s mysterious how this can be so, since, as is well known, minimally strong first-order theories are non-categorical and so are compatible with countless non-isomorphic interpretations. As for second-order theories: though they typically enjoy categoricity results—for instance, Dedekind’s categoricity theorem for second-order PA and Zermelo’s quasi-categoricity (...) theorem for second-order ZFC—these results require full second-order logic. So appealing to these results seems only to push the problem back, since the principles of second-order logic are themselves non-categorical: those principles are compatible with restricted interpretations of the second-order quantifiers on which Dedekind’s and Zermelo’s results are no longer available. In this paper, we provide a naturalist-friendly, non-revisionary solution to an analogous but seemingly more basic problem—Carnap’s Categoricity Problem for propositional and first-order logic—and show that our solution generalizes, giving us full second-order logic and thereby securing the categoricity or quasi-categoricity of second-order mathematical theories. Briefly, the first-order quantifiers have their intended interpretation, we claim, because we’re disposed to follow the quantifier rules in an open-ended way. As we show, given this open-endedness, the interpretation of the quantifiers must be permutation-invariant and so, by a theorem recently proved by Bonnay and Westerståhl, must be the standard interpretation. Analogously for the second-order case: we prove, by generalizing Bonnay and Westerståhl’s theorem, that the permutation invariance of the interpretation of the second-order quantifiers, guaranteed once again by the open-endedness of our inferential dispositions, suffices to yield full second-order logic. (shrink)

I argue that Quinean naturalists’ holism-based arguments against analyticity and apriority are more difficult to resist than is generally supposed, for two reasons. First, although opponents of naturalism sometimes dismiss these arguments on the grounds that the holistic premises on which they depend are unacceptably radical, it turns out that the sort of holism required by these arguments is actually quite minimal. And second, although it’s true, as Grice and Strawson pointed out long ago, that these arguments can succeed only (...) if there isn’t any principled criterion for meaning change, such a criterion turns out to be hard to come by. David Chalmers has recently argued that such a criterion must exist, since the norms governing belief revision are subject to obvious exceptions that can be explained only by appeal to meaning change. But this, I argue, is incorrect: if choices about how to use language are themselves rationally assessable, then there are no such exceptions to be explained. To show that this is so, I formulate a new kind of coherence norm that may be useful for reasoning formally about the relationship between meaning and evidence. (shrink)

The purpose of this project is to argue that we possess a minimal self. It will demonstrate that minimal selfhood arrives early in our development and continues to remain and influence us throughout our entire life. There are two areas of research which shape my understanding of the minimal self: phenomenology and enactivism. Phenomenology emphasizes the sense of givenness, ownership, or mineness that accompanies all of our experiences. Enactivism says there is a sensorimotor coupling that occurs between us and the (...) environment in a way which modulates the dynamic patterns of our self development; the laying down of these basic patterns helps make us who we are and gives rise to the phenomenological, experiential mineness. Drawing on these two core ideas, I will be arguing for a Phenomenological-Enactive Minimal Self. I will be emphasizing the role of the body and the role of affects as the most important components relevant to understanding minimal selfhood. Put more concretely, the set of conditions which constitute the PEMS view are: The minimal self is the experiential subject; the minimal sense of self is present whenever there is awareness. It is the subjectivity of experience, the sense of mineness, or givenness which our experiences contain. The phenomenological part of the PEMS view turns on the idea of a bodily and dynamic integration of sensorimotor coupling and affective experience. It is, ontologically speaking, the lived body in enactive engagement with the environment. It is this embodied subject which anchors and forms the foundation for the later ‘narrative’ self, which emerges from it and which is continually influenced by it. It is the subject enactively engaged with others, dependent on sensorimotor processes and affects. We have an identity, but it emerges from relational and dynamic processes. (shrink)

The study of John Locke’s theological thought has yet to be combined with emerging historical research, pioneered by Jean-Louis Quantin, into the apologetic uses of Christian antiquity in the Restoration Church of England. This article will address this historiographical lacuna by making two related arguments. First, I will contend that Locke’s Paraphrase and Notes on the Epistles of St. Paul (1705–1707) marked a definitive shift in his critique of the appeal to Christian antiquity. Prior to 1700, Locke had largely (...) contested these references to the precedent of the early Christian Church by making a narrowly philosophical case against arguments from authority in general. However, the controversial reception of Locke’s theological writings in the 1690s, compelled him to develop historical and methodological arguments in the Paraphrase against the witness of Christian antiquity. Secondly, I will argue that Locke’s repudiation of the witness of Christian antiquity was the primary motivation for the diverse responses to the Paraphrase by early eighteenth-century Anglican writers, such as Robert Jenkin, Daniel Whitby, William Whiston, Winch Holdsworth and Catharine Cockburn. (shrink)

A compelling idea holds that reality has a layered structure. We often disagree about what inhabits the bottom layer, but we agree that higher up we find chemical, biological, geological, psychological, sociological, economic, /etc./, entities: molecules, human beings, diamonds, mental states, cities, interest rates, and so on. How is this intuitive talk of a layered structure of entities to be understood? Traditionally, philosophers have proposed to understand layered structure in terms of either reduction or supervenience. But these traditional views face (...) well-known problems. A plausible alternative is that layered structure is to be explicated by appeal to explanations of a certain sort, termed / grounding explanations/. Grounding explanations tell us what obtains in virtue of what. Unfortunately, the use of grounding explanations to articulate the layered conception faces a problem, which I call /the collapse/. The collapse turns on the question of how to ground the facts stated by the explanations themselves. In this paper I make a suggestion about how to ground explanations that avoids the collapse. Briefly, the suggestion is that the fact stated by a grounding explanation is grounded in its /explanans/. (shrink)

We offer a sceptical examination of a thesis recently advanced in a monograph published by Princeton University Press, entitled Greek Buddha: Pyrrho’s Encounter with Early Buddhism in Central Asia. In this dense and probing work, Christopher I. Beckwith, a professor of Central Eurasian studies at Indiana University, Bloomington, argues that Pyrrho of Elis adopted a form of early Buddhism during his years in Bactria and Gandhāra, and that early Pyrrhonism must be understood as a sect of early Buddhism. In making (...) his case Beckwith claims that virtually all scholars of Greek, Indian, and Chinese philosophy have been operating under flawed assumptions and with flawed methodologies, and so have failed to notice obvious and undeniable correspondences between the philosophical views of the Buddha and of Pyrrho. In this study we take Beckwith’s proposal and challenge seriously, and we examine his textual basis and techniques of translation, his methods of examining passages, his construal of problems and his reconstruction of arguments. We find that his presuppositions are contentious and doubtful, his own methods are extremely flawed, and that he draws unreasonable conclusions. Although the result of our study is almost entirely negative, we think it illustrates some important general points about the methodology of comparative philosophy. (shrink)

Research in experimental philosophy has increasingly been turning to corpus methods to produce evidence for empirical claims, as they open up new possibilities for testing linguistic claims or studying concepts across time and cultures. The present article reviews the quasi-experimental studies that have been done using textual data from corpora in philosophy, with an eye for the modeling and experimental design that enable statistical inference. I find that most studies forego comparisons that could control for confounds, and that only a (...) little less than half employ statistical testing methods to control for chance results. Furthermore, at least some researchers make modeling decisions that either do not take into account the nature of corpora and of the word-concept relationship, or undermine the experiment's capacity to answer research questions. I suggest that corpus methods could both provide more powerful evidence and gain more mainstream acceptance by improving their modeling practices. (shrink)

Consider the kinds of macroscopic concrete objects that common sense and the sciences allege to exist: tables, raindrops, tectonic plates, galaxies, and the rest. Are there any such things? Opinions differ. Ontological liberals say they do; ontological radicals say they don't. Liberalism seems favored by its plausible acquiescence to the dictates of common sense abetted by science; radicalism by its ontological parsimony. Priority theorists claim we can have the virtues of both views. They hold that tables, raindrops, etc., exist, but (...) they aren't fundamental. The ontological liberal's ontology provides the correct inventory of existent individuals. The ontological radical's more restricted ontology provides the correct inventory of fundamental individuals. The priority theorist claims that the derivative individuals are "no addition in being" to the fundamental ones, so we can have our cake and eat it too. It would be nice if priority theorists were right. In this paper I argue, with regret, that they are not. One upshot is that the sort of explanations which underwrite the priority theorist's distinction between fundamental and derivative individuals do not mitigate our ontological commitments. Another is that we still have to choose between the charms of liberalism and radicalism. (shrink)

A major source of latter-day skepticism about necessity is the work of David Hume. Hume is widely taken to have endorsed the Humean claim: there are no necessary connections between distinct existences. The Humean claim is defended on the grounds that necessary connections between wholly distinct things would be mysterious and inexplicable. Philosophers deploy this claim in the service of a wide variety of philosophical projects. But Saul Kripke has argued that it is false. According to Kripke, there are necessary (...) connections between distinct existences; in particular, there are necessary connections between material objects and their material origins. In this paper I argue that the primary motivation for the Humean claim, Hume's datum, also motivates the key premise in an argument for the necessity of origins. The very considerations that the Humean takes to show that necessary connections between wholly distinct things would be mysterious and inexplicable indicate that there must be some such necessary connections. Thus, in the absence of alternative support, there is no reason to believe the Humean claim. (shrink)

This chapter serves as an opinionated introduction to the problem of convergence (that there is no clear convergence to the truth in philosophy) and the problem of peer disagreement (that disagreement with a peer rationally demands suspending one’s beliefs), and some of the issues they give rise to, namely, philosophical skepticism and progress in philosophy. After introducing both topics and surveying the various positions in the literature we explore the prospects of an alternative, hinge-theoretic account.

This paper establishes a sound and complete semantics for the impure logic of ground. Fine (Review of Symbolic Logic, 5(1), 1–25, 2012a) sets out a system for the pure logic of ground, one in which the formulas between which ground-theoretic claims hold have no internal logical complexity; and it provides a sound and complete semantics for the system. Fine (2012b) [§§6-8] sets out a system for an impure logic of ground, one that extends the rules of the original pure system (...) with rules for the truth-functional connectives, the first-order quantifiers, and λ-abstraction. However, no semantics has yet been provided for this system. The present paper partly fills this lacuna by providing a sound and complete semantics for a system GG containing the truth-functional operators that is closely related to the truth-functional part of the system of Fine (2012b). (shrink)

Louis Pojman and Robert Westmoreland have compiled the best material on the subject of equality, ranging from classical works by Aristotle, Hobbes and Rousseau to contemporary works by John Rawls, Thomas Nagel, Michael Walzer, Harry Frankfurt, Bernard Williams and Robert Nozick; and including such topics as: the concept of equality; equal opportunity; Welfare egalitarianism; resources; equal human rights and complex equality.

Alternative currencies are means of payment that circulate alongside—as an alternative or complement to—official currencies. While these currencies have existed for a long time, both society and academia have shown a renewed interest in their potential to decentralize the governance of monetary affairs and to bring people and organizations together in more ethical or sustainable ways. This article is a review of the ethical and philosophical implications of these alternative monetary projects. We first discuss various classifications of these currencies before (...) analyzing the ethical challenges linked to the way they tackle social and environmental issues. We also examine the incentive-based and coercive mechanisms used by these currencies from an ethical perspective and debate the promises and perils of monetary decentralization and democracy. We conclude by identifying an agenda for future research. (shrink)

Philosophers have spilled a lot of ink over the past few years exploring the nature and significance of grounding. Kit Fine has made several seminal contributions to this discussion, including an exact treatment of the formal features of grounding [Fine, 2012a]. He has specified a language in which grounding claims may be expressed, proposed a system of axioms which capture the relevant formal features, and offered a semantics which interprets the language. Unfortunately, the semantics Fine offers faces a number of (...) problems. In this paper, I review the problems and offer an alternative that avoids them. I offer a semantics for the pure logic of ground that is motivated by ideas already present in the grounding literature, and for which a natural axiomatization capturing central formal features of grounding is sound and complete. I also show how the semantics I offer avoids the problems faced by Fine’s semantics. (shrink)

The scientific successes of the last 400 years strongly suggest a picture on which our scientific theories exhibit a layered structure of dependence and determination. Economics is dependent on and determined by psychology; psychology in its turn is, plausibly, dependent on and determined by biology; and so it goes. It is tempting to explain this layered structure of dependence and determination among our theories by appeal to a corresponding layered structure of dependence and determination among the entities putatively treated by (...) those theories. In this paper, I argue that we can resist this temptation: we can explain the sense in which, e.g., the biological truths are dependent on and determined by chemical truths without appealing to properly biological or chemical entities. This opens the door to a view on which, though there are more truths than just the purely physical truths, there are no entities, states, or properties other than the purely physical entities, states, and properties. I argue that some familiar strategies to explicate the idea of a layered structure of theories by appeal to reduction, ground, and truthmaking encounter difficulties. I then show how these difficulties point the way to a more satisfactory treatment which appeals to something very close to the notion of ground. Finally, I show how this treatment provides a theoretical setting in which we might fruitfully frame debates about which entities there really are. (shrink)

Though the study of grounding is still in the early stages, Kit Fine, in ”The Pure Logic of Ground”, has made a seminal attempt at formalization. Formalization of this sort is supposed to bring clarity and precision to our theorizing, as it has to the study of other metaphysically important phenomena, like modality and vagueness. Unfortunately, as I will argue, Fine ties the formal treatment of grounding to the obscure notion of a weak ground. The obscurity of weak ground, together (...) with its centrality in Fine’s system, threatens to undermine the extent to which this formalization offers clarity and precision. In this paper, I show how to overcome this problem. I describe a system, the logic of strict ground (LSG) and demonstrate its adequacy; I specify a translation scheme for interpreting Fine’s weak grounding claims; I show that the interpretation verifies all of the principles of Fine’s system; and I show that derivability in Fine’s system can be exactly characterized in terms of derivability in LSG. I conclude that Fine’s system is reducible to LSG. (shrink)

The idea that some objects are metaphysically “cheap” has wide appeal. An influential version of the idea builds on abstractionist views in the philosophy of mathematics, on which numbers and other mathematical objects are abstracted from other phenomena. For example, Hume’s Principle states that two collections have the same number just in case they are equinumerous, in the sense that they can be correlated one-to-one: (HP) #xx=#yy iff xx≈yy. The principal aim of this article is to use the notion of (...) grounding to develop this sort of abstractionism. The appeal to grounding enables a unified response to the two main challenges that confront abstractionism. First, we must explicate the metaphor of meta- physical “cheapness.” Second, we must rebut the “bad company” objection, which rejects abstraction principles like (HP) as tarnished by their similarity to inconsistent principles like Frege’s Basic Law V. By enforcing a simple requirement that all abstraction be properly grounded, we propose a unified solution to these two hard, and prima facie unrelated, problems. On our view, grounded abstraction simultaneously ensures “cheap” abstracta and permissible abstraction. (shrink)

Abstract A unique aspect of human communication is the utilization of sets of well- delineated entities, the morphology of which is used to encode the letters of the alphabet. In this paper, we focus on Braille as an exemplar of this phenomenon. We take a Braille cell to be a physical artifact of the human environment, into the structure of which is encoded a representation of a letter of the alphabet. The specific issue we address in this paper concerns an (...) examination of how the code that is embedded in the structure of a Braille cell is transferred with fidelity from the environment through the body and into the Braille reader’s brain. We describe four distinct encoding steps that enable this transfer to occur. (shrink)

Practical quantum computing devices and their applications to AI in particular are presently mostly speculative. Nevertheless, questions about whether this future technology, if achieved, presents any special ethical issues are beginning to take shape. As with any novel technology, one can be reasonably confident that the challenges presented by "quantum AI" will be a mixture of something new and something old. Other commentators (Sevilla & Moreno 2019), have emphasized continuity, arguing that quantum computing does not substantially affect approaches to value (...) alignment methods for AI, although they allow that further questions arise concerning governance and verification of quantum AI applications. In this brief paper, we turn our attention to the problem of identifying as-yet-unknown discontinuities that might result from quantum AI applications. Wise development, introduction, and use of any new technology depends on successfully anticipating new modes of failure for that technology. This requires rigorous efforts to break systems in protected sandboxes, and it must be conducted at all stages of technology design, development, and deployment. Such testing must also be informed by technical expertise but cannot be left solely to experts in the technology because of the history of failures to predict how non-experts will use or adapt to new technologies. This interplay between experts and non-experts may be particularly acute for quantum AI because quantum mechanics is notoriously difficult to understand. (As Richard Feynman quipped, "Anyone who claims to understand quantum mechanics is either lying or crazy.") We will discuss the extent to which the difficulties in understanding the physics underlying quantum computing challenges attempts to anticipate new failure modes that might be introduced in AI applications intended for unsupervised operation in the public sphere. (shrink)

A raft of new philosophical problems concerning truth have recently been discovered by several theorists. These problems concern the question of how ascriptions of truth are to be grounded. Most previous commentators have taken the problems to shed light on the theory of ground. In this paper, I argue that they also shed light on the theory of truth. In particular, I argue that the notion of ground can be deployed to clearly articulate one strand of deflationary thinking about truth, (...) according to which truth is “metaphysically lightweight.” I offer a ground-theoretic explication of the lightness of truth and show how it yields a novel solution to the problems concerning how truth is grounded. So, the theory of truth and the theory of ground interact fruitfully: we can apply the notion of ground to offer a clear explication of the deflationist claim that truth is “metaphysically lightweight” that both captures the motivations for that claim and solves the problems. (shrink)

This article aims to defend a novel account of pluralism in economics. First, it argues that what justifies pluralism is its epistemological benefits. Second, it acknowledges that pluralism has limits, and defends reasonable pluralism, or the view that we should only accept those theories and methods that can be justified by their communities with reasons that other communities can accept. Clearly, reasonable pluralism is an ideal, which requires economists of different persuasions to respect certain norms of communication while evaluating each (...) other’s theories. The article ends with a discussion of the conditions under which reasonable communication becomes possible. (shrink)

Local Currencies, Local Exchange Trading Systems, and Time Banks are all part of a new social movement that aims to restrict money's purchasing power within a certain geographic area, or within a certain community. According to their proponents, these restrictions may contribute to building sustainable local economies, supporting local businesses and creating “warmer” social relations. This article inquires whether the overall enthusiasm that surrounds alternative currencies is justified. It argues that the potential benefits of these currencies are not sufficient to (...) justify the restrictions they impose on money's purchasing power. Turning these currencies into effective channels of change, by increasing their scope and their strength, could severely hinder the pursuit of social justice, in a way that is probably not even necessary for achieving their objectives. The paper concludes that large-scale limitations of money's purchasing power are, therefore, undesirable. (shrink)

This paper assesses the proposal to transform the monetary system into an Ecology of money, that is, into a system made of a large diversity of complementary currencies. Its central aim is to examine whether this proposal could provide a systemic solution to both the ecological and financial crises, as several authors, most notably Lietaer and Douthwaite, have argued. To this end, it analyses the two main arguments in favour of this proposal. First, it focuses on the claim that an (...) Ecology of money would be more resilient and less prone to crisis than the present monetary system. It shows that this argument suffers from several conceptual flaws and argues that it fails to provide sufficient normative reasons to favour an Ecology of money. Second, this paper analyses the claim that an Ecology of money could help defeat the monetary growth imperative that supposedly plagues our economies. The paper raises serious doubts about the existence of such an imperative and questions the claim that an Ecology of money could contribute to weaken it in a significant way. (shrink)

An impressive variety of new forms of money has aroused in recent decades from various groups of people and various kinds of institutions. These currencies are at the heart of intense debates, which raise important, but often neglected, normative issues. The diversity of their goals, uses and charac-teristics is so large that it makes some preliminary distinctions necessary. This paper aims at provid-ing a proper background for the discussion of the possible merits and drawbacks of different kinds of currencies. It (...) proposes a classification that demarcates currencies according to how they relate to several crucial normative issues. Its aim is to show, for every type of currency, and as unambiguously as possible, to which side of these controversies it lies. (shrink)

/Analyticity theorists/, as I will call them, endorse the /doctrine of analyticity in ontology/: if some truth P analytically entails the existence of certain things, then a theory that contains P but does not claim that those things exist is no more ontologically parsimonious than a theory that also claims that they exist. Suppose, for instance, that the existence of a table in a certain location is analytically entailed by the existence and features of certain particles in that location. The (...) doctrine implies that the table's existence requires nothing more of the world than that those particles exist and bear the features in question. Analyticity theorists have alleged that this idea may be used to defend controversial existence claims against a battery of objections. I argue that this style of defense fails, because the doctrine faces counter-examples. An existence claim may be analytically entailed by some truth and still report a substantial further fact. (shrink)

There is a curious bifurcation in the literature on ground and its logic. On the one hand, there has been a great deal of work that presumes that logical complexity invariably yields grounding. So, for instance, it is widely presumed that any fact stated by a true conjunction is grounded in those stated by its conjuncts, that any fact stated by a true disjunction is grounded in that stated by any of its true disjuncts, and that any fact stated by (...) a true double negation is grounded in that stated by the doubly-negated formula. This commitment is encapsulated in the system GG axiomatized and semantically characterized by [deRosset and Fine, 2023] (following [Fine, 2012]). On the other hand, there has been a great deal of important formal work on “flatter” theories of ground, yielding logics very different from GG [Correia, 2010] [Fine, 2016, 2017b]. For instance, these theories identify the fact stated by a self-conjunction $$(\phi \wedge \phi )$$ with that stated by its conjunct $$\phi $$. Since, in these systems, no fact grounds itself, the “flatter” theories are inconsistent with the principles of GG. This bifurcation raises the question of whether there is a single notion of ground suited to fulfill the philosophical ambitions of grounding enthusiasts. There is, at present, no unified semantic framework employing a single conception of ground for simultaneously characterizing both GG and the “flatter” approaches. This paper fills this gap by specifying such a framework and demonstrating its adequacy. (shrink)

We describe here a series of experimental analogies between fluid mechanics and quantum mechanics recently discovered by a team of physicists. These analogies arise in droplet systems guided by a surface (or pilot) wave. We argue that these experimental facts put ancient theoretical work by Madelung on the analogy between fluid and quantum mechanics into new light. After re-deriving Madelung’s result starting from two basic fluid-mechanical equations (the Navier-Stokes equation and the continuity equation), we discuss the relation with the de (...) Broglie-Bohm theory. This allows to make a direct link with the droplet experiments. It is argued that the fluid-mechanical interpretation of quantum mechanics, if it can be extended to the general N-particle case, would have an advantage over the Bohm interpretation: it could rid Bohm’s theory of its strongly non-local character. (shrink)

In Objects: Nothing Out of the Ordinary, Daniel Z. Korman defends a view he calls conservatism. Conservatives hold that there are ordinary objects, but no extraordinary objects. But Korman never explicitly characterizes what would qualify an object as ordinary in the relevant sense. We have some paradigm cases of ordinary objects, including tables, dogs, and trees; and we have some paradigm cases of extraordinary objects of sorts familiar from the philosophical literature. Here I attempt to fill this gap, surveying a (...) number of attempts to characterize the commitments of conservatism. All fail. In particular, no specification of what it takes for an object to be ordinary is both plausible and consistent with the conservative verdicts on the paradigms. I argue that this is no coincidence, since it turns out to be implausible in light of the results of settled science to deny the existence of one of Korman's paradigms of an extraordinary object. The upshot is that plausibility requires being a little more liberal than conservatism seems to allow. (shrink)

The main goal of this thesis is to provide a clear basis for the analysis of alternative currencies, such as Bitcoin, LETS, Local currencies, the WIR or Carbon currencies. It attempts to determine whether alternative currencies might constitute just and workable alternatives, either in the form of small-scale experiments or in the form of more radical reforms. The first chapter proposes a new way to classify currencies. The second examines the case in favour of monetary plurality. The third analyses the (...) claims in favour of restricting the use of money locally, within a community, or to certain goods. The fourth studies the link between money and the market. Finally, a post-scriptum focuses on Bitcoin and cryptocurrencies. This thesis highlights that these currencies are drivers of several potential conflicts. Their widespread use might conflict with the adequate management of monetary policy, with social justice, and with liberal values. These conflicts are potential, for they would come into existence only if alternative currencies increased in scope. However, there is no reason to disregard potential conflicts when the case in their favour relies mostly on their potential benefits. (shrink)

One of the aims of the encyclical "Laudato Si’" is to help us “marvel at the manifold connections existing among creatures”, to show how we are also involved, and to motivate us thereby to care for our common home. Are there new dimensions of beauty available to us today because of recent advances in biology? In this paper I seek to answer this question by first recalling the basic criteria for beauty, as expressed by Aristotle and Aquinas, and then evaluating (...) their applicability as regards three ways in which some prominent twentieth century philosophers of biology have sought to overcome the limitations of reductionism. The overall argument refers especially to the works of Jakob von Uexküll and Georges Canguilhem. The results indicate that harmony, proportion, and integrity in the natural order should be more evident than ever before, especially as regards the way the organism and its environment codetermine each other. This insight allows a deeper appreciation of the message of "Laudato Si’". (shrink)

A standard view of reference holds that a speaker's use of a name refers to a certain thing in virtue of the speaker's associating a condition with that use that singles the referent out. This view has been criticized by Saul Kripke as empirically inadequate. Recently, however, it has been argued that a version of the standard view, a /response-based theory of reference/, survives the charge of empirical inadequacy by allowing that associated conditions may be largely or even entirely implicit. (...) This paper argues that response-based theories of reference are prey to a variant of the empirical inadequacy objection, because they are ill-suited to accommodate the successful use of proper names by pre-school children. Further, I argue that there is reason to believe that normal adults are, by and large, no different from children with respect to how the referents of their names are determined. I conclude that speakers typically refer /positionally/: the referent of a use of a proper name is typically determined by aspects of the speaker's position, rather than by associated conditions present, however implicitly, in her psychology. (shrink)

This is a technical supplement to "Abstraction and Grounding", forthcoming in /Philosophy and Public Affairs/.

John Searle has proposed one of the most influential contemporary accounts of social ontology. According to Searle, institutional facts are created by the collective assignment of a specific kind of function —status-function— to pre-existing objects. Thus, a piece of paper counts as money in a certain context because people collectively recognize it as money, and impose a status upon it, which in turn enables that piece of paper to deliver certain functions (means of payment, etc.). The first part of this (...) essay presents Searle’s theory of social ontology and summarizes his views on money. The second part centers on criticisms of his views and compares his theory with its main competitors, including the theories of Tuomela, Guala and Hindriks, and Smit, Buekens and Duplessis. The conclusion attempts to see what may remain of Searle’s theory after careful examination. (shrink)

SNODENT is a dental diagnostic vocabulary incompletely integrated in SNOMED-CT. Nevertheless, SNODENT could become the de facto standard for dental diagnostic coding. SNODENT's manageable size, the fact that it is administratively self-contained, and relates to a well-understood domain provides valuable opportunities to formulate and test, in controlled experiments, a series of hypothesis concerning diagnostic systems. Of particular interest are questions related to establishing appropriate quality assurance methods for its optimal level of detail in content, its ontological structure, its construction and (...) maintenance. This paper builds on previous–software-based methodologies designed to assess the quality of SNOMED-CT. When applied to SNODENT several deficiencies were uncovered. 9.52% of SNODENT terms point to concepts in SNOMED-CT that have some problem. 18.53% of SNODENT terms point to SNOMED-CT concepts do not have, in SNOMED, the term used by SNODENT. Other findings include the absence of a clear specification of the exact relationship between a term and a termcode in SNODENT and the improper assignment of the same termcode to terms with significantly different meanings. An analysis of the way in which SNODENT is structurally integrated into SNOMED resulted in the generation of 1081 new termcodes reflecting entities not present in the SNOMED tables but required by SNOMED's own description logic based classification principles. Our results show that SNODENT requires considerable enhancements in content, quality of coding, quality of ontological structure and the manner in which it is integrated and aligned with SNOMED. We believe that methods for the analysis of the quality of diagnostic coding systems must be developed and employed if such systems are to be used effectively in both clinical practice and clinical research. (shrink)

This article argues for epistemic decolonization by developing a relational model of knowledge, which we locate within indigenous knowledges. We live in a time of ongoing global, epistemic coloniality, embedded in and shaped by colonial ideas and practices. Epistemological decolonization requires taking nondominant knowledges and their epistemes seriously to open up the possibility of interrogating and dismantling the hegemony of the Western knowledge tradition. We here ask two related questions: What are the decolonial affordances of indigenous knowledges? And how do (...) these compare to other contemporary critiques of epistemic coloniality, specifically those mounted by posthumanism? In answer, we develop three definitional senses of relational with reference to indigenous knowledges. First, we define indigenous knowledges in relation to Western knowledge, with which they share a dialectical origin at the moment of colonial contact. Second, indigenous knowledges are relational in their ontological and axiological orientations. Third, relationality in indigenous knowledge suggests a trialectic space, rather than a dialectic space. We argue for the necessity of an anticolonial framework, which assigns priority to indigenous people’s perceptions and ways of knowing for theorizing recurring colonial relations and their (imperialistic) manifestations in producing and reproducing knowledge. (shrink)